(mu . bimap mu id)((x, y), z)